
#define DEFAULT_ISA "RV64IMAFDC"
